En matemáticas para que una afirmación sea considerada válida debe o bien estar contenida dentro de una base de afirmaciones de partida, los denominados axiomas, o debe poder demostrarse a partir de los mismos. Los axiomas son por tanto los pilares fundamentales de toda rama de las matemáticas, y a partir de ellos, mediante las demostraciones matemáticas, se deduce la veracidad de cualquier afirmación.

Los axiomas serán, por tanto, afirmaciones que se aceptan como verdaderas y que su veracidad no puede ser demostrada a partir de otros axiomas. Un axioma no se caracteriza por si resulta una afirmación trivial o intuitiva, siendo el axioma de elección un ejemplo de un axioma que no resulta trivial.

El otro tipo de afirmaciones a las que se hace referencia diciendo: «afirmación no trivial», son los teoremas, que son afirmaciones no tan triviales y muchas veces poco intuitivas. Estas afirmaciones deben ser demostradas usando los axiomas u otros teoremas ya demostrados. Una consecuencia inmediata de un teorema se llamará corolario.

Existen tres tipos de axiomas: los axiomas algebraicos, los axiomas de orden y el axioma topológico.

El primero, trata de las propiedades de la suma, la resta, la multiplicación y la división; el segundo establece un orden para los elementos de cada conjunto dado; el tercero trata sobre la noción de continuidad.